Institutional review boards are almost universally considered to be overworked and understaffed. They also require substantial commitments of time and resources from their members. Although some surveys report average IRB memberships of 15 people or more, federal regulations require only five. We present data on IRB meetings at eight of the top 25 academic medical centers in the United States funded by the National Institutes of Health. These data indicate substantial contributions from primary reviewers and chairs during protocol discussions but (...) little from other members, which implies that it may be possible for smaller IRBs to accomplish the same tasks with no reduction in the quality of review. (shrink)

Even if we recognize that the delta-lognormal model provides an excellent fit to a large variety of data, the question remains as to what we actually learn from such a model, which could be seen as merely another multiparameter account? Do we welcome such an encompassing account, or do we expect to learn more from the limitations that become apparent when applying dedicated models addressing specific classes of movements?

We define and study a new restricted consistency notion RCon ∗ for bounded arithmetic theories T 2 j . It is the strongest ∀ Π 1 b -statement over S 2 1 provable in T 2 j , similar to Con in Krajíček and Pudlák, 29) or RCon in Krajı́ček and Takeuti 107). The advantage of our notion over the others is that RCon ∗ can directly be used to construct models of T 2 j . We apply this by (...) proving preservation theorems for theories of bounded arithmetic of the following well-known kind: The ∀ Π 1 b -separation of bounded arithmetic theories S 2 i from T 2 j is equivalent to the existence of a model of S 2 i which does not have a Δ 0 b -elementary extension to a model of T 2 j . More specific, let M ⊨ Ω 1 nst denote that there is a nonstandard element c in M such that the function n ↦ 2 log c is total in M . Let BLΣ 1 b be the bounded collection schema for Σ 1 b -formulas. We obtain the following preservation results: the ∀ Π 1 b -separation of S 2 i from T 2 j is equivalent to the existence of 1. a model of S 2 i +Ω 1 nst which is 1 b -closed w.r.t. T 2 j , 2. a countable model of S 2 i + BLΣ 1 b without weak end extensions to models of T 2 j. (shrink)

Biologists, historians, lawyers, art historians, and literary critics all voice arguments in the critical dialogue about what constitutes evidence in research and scholarship. They examine not only the constitution and "blurring" of disciplinary boundaries, but also the configuration of the fact-evidence distinctions made in different disciplines and historical moments the relative function of such concepts as "self-evidence," "experience," "test," "testimony," and "textuality" in varied academic discourses and the way "rules of evidence" are themselves products of historical developments. The essays and (...) rejoinders are by Terry Castle, Lorraine Daston, Carlo Ginzburg, Ian Hacking, Mark Kelman, R. C. Lewontin, Pierre Vidal-Naquet, Mary Poovey, Donald Preziosi, Simon Schaffer, Joan W. Scott, Eve Kosofsky Sedgwick, and Barbara Herrnstein Smith. The critical responses are by Lauren Berlant, James Chandler, Jean Comaroff, Arnold I. Davidson, Harry D. harootunian, Elizabeth Helsinger, Thomas C. Holt, Francoise Meltzer, Robert J. Richards, Lawrence Rothfield, Joel Snyder, Cass R. Sunstein, and William Wimsatt. (shrink)

English summary: Arnold presents the first systematic study of the early biblical and exegetical writings from Schelling's schooldays and years of study in Tubingen (1787-1795) and puts them in the context of the complex history of problems in the late Enlightenment. Apart from the general challenge of theology due to Kant's reception, debates on basic principles regarding authenticity and and the Bible's claim to divine authority had begun. Arnold shows that Schelling studied these controversies very closely and developed (...) them into his own hermeneutic methodology. Schelling's theory of interpreting the Scriptures, of the Christian religion and of the concept of faith, developed as a result of these studies, is also significant for understanding his later works on the history of philosophy and moral philosophy. German description: Mit diesem Band liegt die erste systematische Untersuchung der fruhen biblisch-exegetischen Schriften aus Schellings Schul- und Tubinger Studienzeit (1787-1795) vor. Diese Schriften stellt Arnold in den Horizont der komplexen Problemgeschichte der Spataufklarung: Neben der generellen Herausforderung der Theologie durch die Rezeption Kants waren im Vorfeld Grundsatzdebatten zur Authentizitat und zum gottlichen Autoritatsanspruch der Bibel aufgebrochen. Dabei zeigt Arnold, dass Schelling diese Kontroversen intensiv rezipiert und zu einer eigenen hermeneutischen Methodik ausgearbeitet hat. Schellings aus dieser Auseinandersetzung entwickelte Theorie der Schriftinterpretation, der christlichen Religion und des Glaubensbegriffs ist gerade auch fur das Verstandnis seines spateren geschichts- und moralphilosophischen OEuvres bedeutsam. (shrink)

Appearing in English for the first time, Schelling’s 1842 lectures develop the idea that many philosophical concepts are born of religious-mythological notions.

Through clear explanation of its characteristic concepts and doctrines, and paying close attention to the published works of its philosophers, the volume ...

There exist important deductive systems, such as the non-normal modal logics, that are not proper subjects of classical algebraic logic in the sense that their metatheory cannot be reduced to the equational metatheory of any particular class of algebras. Nevertheless, most of these systems are amenable to the methods of universal algebra when applied to the matrix models of the system. In the present paper we consider a wide class of deductive systems of this kind called protoalgebraic logics. These include (...) almost all (non-pathological) systems of prepositional logic that have occurred in the literature. The relationship between the metatheory of a protoalgebraic logic and its matrix models is studied. The following results are obtained for any finite matrix model U of a filter-distributive protoalgebraic logic : (I) The extension U of is finitely axiomatized (provided has only finitely many inference rules); (II) U has only finitely many extensions. (shrink)

This paper is based on Lectures 1, 2 and 4 in the series of ten lectures titled “Algebraic Structures for Logic” that Professor Blok and I presented at the Twenty Third Holiday Mathematics Symposium held at New Mexico State University in Las Cruces, New Mexico, January 8-12, 1999. These three lectures presented a new approach to the algebraization of deductive systems, and after the symposium we made plans to publish a joint paper, to be written by Blok, further developing these (...) ideas. That project was still incomplete when Blok died. In fact, there is no indication that he had prepared a draft of the paper, and we do not know what new material he intended to include. I am therefore not in a position to complete the project as he had envisioned it. So, I have settled for the more limited objective of presenting the material from the three lectures, leaving to others the task of adapting the techniques used there to more general situations. (shrink)

Modal logics are studied in their algebraic disguise of varieties of so-called modal algebras. This enables us to apply strong results of a universal algebraic nature, notably those obtained by B. Jonsson. It is shown that the degree of incompleteness with respect to Kripke semantics of any modal logic containing the axiom □ p → p or containing an axiom of the form $\square^mp \leftrightarrow\square^{m + 1}p$ for some natural number m is 2 ℵ 0 . Furthermore, we show that (...) there exists an immediate predecessor of classical logic (axiomatized by $p \leftrightarrow \square p$ ) which is not characterized by any finite algebra. The existence of modal logics having 2 ℵ 0 immediate predecessors is established. In contrast with these results we prove that the lattice of extensions of S4 behaves much better: a logic extending S4 is characterized by a finite algebra iff it has finitely many extensions and any such logic has only finitely many immediate predecessors, all of which are characterized by a finite algebra. (shrink)

Since the Harvard Committees bold and highly successful attempt to redefine death in 1968 (Harvard Ad Hoc committee, 1968), multiple controversies have arisen. Stimulated by several factors, including the inherent conceptual weakness of the Harvard Committees proposal, accumulated clinical experience, and the incessant push to expand the pool of potential organ donors, the lively debate about the definition of death has, for the most part, been confined to a relatively small group of academics who have created a large body of (...) literature of which this issue of the Journal of Medicine and Philosophy is an example. Law and public policy, however, have remained essentially unaffected. This paper will briefly review the multiple controversies about defining death in an attempt to explain why they have and will remain unresolved in the academic community and have even less chance of being understood and resolved by politicians, legislators, and the general public. Considering this, we will end by suggesting the probable course of public policy and clinical practice in the decades ahead. (shrink)

We study modal logics in the setting of varieties of modal algebras. Any variety of modal algebras generated by a finite algebra — such, a variety is called tabular — has only finitely many subvarieties, i.e. is of finite height. The converse does not hold in general. It is shown that the converse does hold in the lattice of varieties of K4-algebras. Hence the lower part of this lattice consists of tabular varieties only. We proceed to show that there is (...) a continuum of pretabular varieties of K4-algebras — those are the non-tabular varieties all of whose proper subvarieties are tabular — in contrast with Maksimova's result that there are only five pretabular varieties of S4-algebras. (shrink)

The notion of an algebraic semantics of a deductive system was proposed in [3], and a preliminary study was begun. The focus of [3] was the definition and investigation of algebraizable deductive systems, i.e., the deductive systems that possess an equivalent algebraic semantics. The present paper explores the more general property of possessing an algebraic semantics. While a deductive system can have at most one equivalent algebraic semantics, it may have numerous different algebraic semantics. All of these give rise to (...) an algebraic completeness theorem for the deductive system, but their algebraic properties, unlike those of equivalent algebraic semantics, need not reflect the metalogical properties of the deductive system. Many deductive systems that don't have an equivalent algebraic semantics do possess an algebraic semantics; examples of these phenomena are provided. It is shown that all extensions of a deductive system that possesses an algebraic semantics themselves possess an algebraic semantics. Necessary conditions for the existence of an algebraic semantics are given, and an example of a protoalgebraic deductive system that does not have an algebraic semantics is provided. The mono-unary deductive systems possessing an algebraic semantics are characterized. Finally, weak conditions on a deductive system are formulated that guarantee the existence of an algebraic semantics. These conditions are used to show that various classes of non-algebraizable deductive systems of modal logic, relevance logic and linear logic do possess an algebraic semantics. (shrink)

The present paper is a study in abstract algebraic logic. We investigate the correspondence between the metalogical Beth property and the algebraic property of surjectivity of epimorphisms. It will be shown that this correspondence holds for the large class of equivalential logics. We apply our characterization theorem to relevance logics and many-valued logics.

A well-known result, going back to the twenties, states that, under some reasonable assumptions, any logic can be characterized as the set of formulas satisfied by a matrix 〈,F〉, whereis an algebra of the appropriate type, andFa subset of the domain of, called the set of designated elements. In particular, every quasi-classical modal logic—a set of modal formulas, containing the smallest classical modal logicE, which is closed under the inference rules of substitution and modus ponens—is characterized by such a matrix, (...) wherenow is a modal algebra, andFis a filter of. If the modal logic is in fact normal, then we can do away with the filter; we can study normal modal logics in the setting of varieties of modal algebras. This point of view was adopted already quite explicitly in McKinsey and Tarski [8]. The observation that the lattice of normal modal logics is dually isomorphic to the lattice of subvarieties of a variety of modal algebras paved the road for an algebraic study of normal modal logics. The algebraic approach made available some general results from Universal Algebra, notably those obtained by Jónsson [6], and thereby was able to contribute new insights in the realm of normal modal logics [2], [3], [4], [10].The requirement that a modal logic be normal is rather a severe one, however, and many of the systems which have been considered in the literature do not meet it. For instance, of the five celebrated modal systems, S1–S5, introduced by Lewis, S4 and S5 are the only normal ones, while only SI fails to be quasi-classical. The purpose of this paper is to generalize the algebraic approach so as to be applicable not just to normal modal logics, but to quasi-classical modal logics in general. (shrink)

Reform of the federal income tax system has become a perennial item on the domestic policy agenda of the United States, although there is considerable uncertainty over specifics. Indeed the recent report of the President's Advisory Panel on Federal Tax Reform recommended not one but two divergent policy directions. In Fundamental Tax Reform, top experts in tax policy discuss a wide range of issues raised by the prospect of significant tax reform, identifying the most critical questions and considering whether the (...) answers are known, unknown--or unknowable. The debates over tax reform usually concern the advantages and disadvantages of income-based taxation as opposed to any of the several alternative forms of consumption-based taxation. The book opens with chapters that discuss the strengths, weaknesses, and political feasibility of these options. Other chapters consider the effect of tax reform on businesses, especially their investment behavior, and include a discussion of possible problems in any transition to a consumption-based tax; international taxation issues arising in an era of globalization; and individual behavioral response to tax reform, including a view of the topic from the perspective of the relatively new field of behavioral economics. ContributorsRosanne Altshuler, Alan J. Auerbach, John W. Diamond, Harry Grubert, Arnold C. Harberger, Kevin A. Hassett, Thomas J. Kniesner, Laurence J. Kotlikoff, Edward J. McCaffery, Kathryn Newmark, David Rapson, Daniel Shaviro, Joel Slemrod, James P. Ziliak, George R. ZodrowDiscussants James Alm, Henry J. Aaron, Charles L. Ballard, Leonard E. Burman, Robert S. Chirinko, Robert D. Dietz, Malcolm Gillis, Roger H. Gordon, Jane G. Gravelle, Timothy S. Gunning, James M. Poterba, Thomas S. Neubig, Alan Viard, George Yin John W. Diamond is Edward and Hermena Kelly Fellow in Tax Policy and Adjunct Professor of Economics at the Baker Institute for Public Policy, Rice University. George R. Zodrow is Professor of Economics and Rice Scholar at the Baker Institute and International Research Fellow at the Centre for Business Taxation, Oxford University. (shrink)

Let S denote the variety of Sugihara algebras. We prove that the lattice (K) of subquasivarieties of a given quasivariety K S is finite if and only if K is generated by a finite set of finite algebras. This settles a conjecture by Tokarz [6]. We also show that the lattice (S) is not modular.

Manifesting the special intelligence of a literary critic of original gifts, Culture and Anarchy is still a living classic. It is addressed to the flexible and the disinterested, to those who are not committed to the findings of their particular discipline, and it assumes in its reader a critical intelligence that will begin its work with the reader himself. Arnold employs a delicate and stringent irony in an examination of the society of his time: a rapidly expanding industrial society, (...) just beginning to accustom itself to the changes in its institutions that the pace of its own development called for. Coming virtually at the end of the decade and immediately prior to W. E. Forster's Education Act, Culture and Anarchy phrases with a particular cogency the problems that find their centre in the questions: what kind of life do we think individuals in mass societies should be assisted to lead? How may we best ensure that the quality of their living is not impoverished? Arnold applies himself to the detail of his time: to the case of Mr Smith 'who feared he would come to poverty and be eternally lost', to the Reform agitation, to the commercial values that working people were encouraged to respect, and to the limitations of even the best Rationalist intelligence. The degree of local reference is therefore high, but John Dover Wilson's introduction and notes to this edition supply valuable assistance to a reader fresh to the period. (shrink)

One way of increasing the supply of vital organs without violating the dead donor rule is to declare death on cardiopulmonary criteria after withdrawing life support. The question then is how quickly death may be declared.

One way of increasing the supply of vital organs without violating the dead donor rule is to declare death on cardiopulmonary criteria after withdrawing life support. The question then is how quickly death may be declared.

The logic RM and its basic fragments (always with implication) are considered here as entire consequence relations, rather than as sets of theorems. A new observation made here is that the disjunction of RM is definable in terms of its other positive propositional connectives, unlike that of R. The basic fragments of RM therefore fall naturally into two classes, according to whether disjunction is or is not definable. In the equivalent quasivariety semantics of these fragments, which consist of subreducts of (...) Sugihara algebras, this corresponds to a distinction between strong and weak congruence properties. The distinction is explored here. A result of Avron is used to provide a local deduction-detachment theorem for the fragments without disjunction. Together with results of Sobociski, Parks and Meyer (which concern theorems only), this leads to axiomatizations of these entire fragments — not merely their theorems. These axiomatizations then form the basis of a proof that all of the basic fragments of RM with implication are finitely axiomatized consequence relations. (shrink)